Second-order logic - PDFSEARCH.IO - Document Search Engine

Second-order logic
Results: 101

#	Item
51	This is page 1 Printer: Opaque this Mona: Monadic Second-Order Logic in Practice Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:40 FO Finite-state machine Regular language Automata theory Theoretical computer science Computer science
52	Methods for the Transformation of ω-Automata: Complexity and Connection to Second Order Logic Diploma Thesis (Revised Version) Christof L¨oding Supervisor: Prof. Dr. Wolfgang Thomas Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Ω-automaton Nondeterministic finite automaton Muller automaton Finite-state machine Alternating finite automaton Sequence Powerset construction Automata theory Theoretical computer science Computer science
53	Mona 1.x: New Techniques for WS1S and WS2S Jacob Elgaard1, Nils Klarlund2, and Anders Mller3 BRICS, University of Aarhus ([removed]) Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:50 Model theory Logical syntax Metalogic Well-formed formula Interpretation Second-order logic Logic Formal languages Mathematical logic
54	Second Attempt to Build a Model of the Tick-Tack-Toe Game Dimiter Dobrev Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, “Acad. G. Bonchev” Str., Bl. 8, Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2008-01-11 14:21:12 Philosophy of mathematics Model theory Function First-order logic Combinatory logic Tic-tac-toe Economic model Random access machine Mathematics Mathematical logic Logic
55	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science
56	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
57	Microsoft Word - Linnebo-Nicolas-Final.doc Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:15 Predicate logic Parts of speech Quantification Semantics Predicate Plural quantification First-order logic Second-order logic Grammatical number Logic Linguistics Mathematical logic
58	Appendix: Chapter 6, §7, second printing 7 Tableaux for monadic predicate logic In this section, we extend the semantic tableau test for validity in sentential logic (see §5 of Chapter Three) to monadic predicate logi Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 1997-09-24 14:52:28 Method of analytic tableaux First-order logic Quantification Monadic predicate calculus Interpretation Atomic formula Well-formed formula Monad FO Logic Mathematical logic Predicate logic
59	Sets, Properties, and Unrestricted Quantification Øystein Linnebo University of Oxford Final draft, 25 October[removed] Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:18 Semantics Quantification Philosophy of language First-order logic Second-order logic Predicate Higher-order logic Plural quantification Type theory Logic Mathematical logic Predicate logic
60	^ 37:[removed]±92 NOUS Plural Quantification Exposed* éYSTEIN LINNEBO Harvard University Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:10 Predicate logic Quantification Semantics Analytic philosophers Plural quantification Second-order logic George Boolos Ontological commitment First-order logic Logic Mathematical logic Mathematics